home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / programs.arc / DIFF.HLP < prev    next >
Text File  |  1986-10-07  |  730b  |  27 lines
  1.                         SYMBOLIC MATHEMATICS
  2.  
  3. Prolog can be used for solving symbolic and mathematical problems.
  4. Expressions can be modeled by composite objects. (In the program this
  5. is demonstrated by EXPR)
  6.  
  7. In the example, the differentiation is followed by a reduction.
  8.  
  9. The formulas of differentiation are:
  10.  
  11. d(K)/dx = 0.
  12. d(x)/dx = 1.
  13. d(y)/dx = 0.
  14. d(F+G)/dx   = d(F)/dx+d(G)/dx.
  15. d(F-G)/dx   = d(F)/dx-d(G)/dx.
  16. d(F*G)/dx   = G*d(F)/dx+F*d(G)/dx.
  17. d(F^n)/dx   = n*F^(n-1).
  18. d(ln(x))/dx = 1/x.
  19.  
  20. Differentiation is realized by the predicate DIFF. Two parameters are 
  21. used:
  22.     1) The original expression
  23.     2) The differentiated result
  24.  
  25. Each differentiation-rule has a corresponding rule in the predicate
  26. diff.
  27.